From: Florian Müllner Date: Thu, 17 May 2012 00:08:56 +0000 (+0200) Subject: sessionMode: Add allowExtensions property X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~6561 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=ab3173487d257ac94c1c0d9770f35e68120b6a89;p=gnome-shell.git sessionMode: Add allowExtensions property Add a sessionMode.allowExtensions property, which determines whether installed and enabled extensions should be loaded or ignored. https://bugzilla.gnome.org/show_bug.cgi?id=676156 --- diff --git a/js/ui/main.js b/js/ui/main.js index 247200a9c..1e2a89d01 100644 --- a/js/ui/main.js +++ b/js/ui/main.js @@ -136,9 +136,6 @@ function _initUserSession() { global.screen.override_workspace_layout(Meta.ScreenCorner.TOPLEFT, false, -1, 1); - ExtensionSystem.init(); - ExtensionSystem.loadExtensions(); - Meta.keybindings_set_custom_handler('panel-run-dialog', function() { getRunDialog().open(); }); @@ -229,6 +226,11 @@ function start() { if (sessionMode.sessionType == Shell.SessionType.USER) _initUserSession(); + if (sessionMode.allowExtensions) { + ExtensionSystem.init(); + ExtensionSystem.loadExtensions(); + } + if (sessionMode.hasOverview) { Meta.keybindings_set_custom_handler('panel-main-menu', function () { overview.toggle(); diff --git a/js/ui/sessionMode.js b/js/ui/sessionMode.js index 257214934..737b5742b 100644 --- a/js/ui/sessionMode.js +++ b/js/ui/sessionMode.js @@ -12,12 +12,14 @@ const _modes = { hasAppMenu: false, showCalendarEvents: false, allowSettings: false, + allowExtensions: false, sessionType: Shell.SessionType.GDM }, 'user': { hasOverview: true, hasAppMenu: true, showCalendarEvents: true, allowSettings: true, + allowExtensions: true, sessionType: Shell.SessionType.USER } };